perm filename HEURIS[S87,JMC] blob sn#841043 filedate 1987-06-02 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	heuris[s87,jmc]		Concepts for reasoning heuristics
C00003 ENDMK
CāŠ—;
heuris[s87,jmc]		Concepts for reasoning heuristics

1. A stable goal relative to a problem is one that, once achieved, will
never have to be relaxed in order to achieve other goals.  It is a
simplification of a problem to achieve some of its stable goals.

Moving a block to final position is a stable goal.  It also can only
help the achievement of other goals.

2. A goal problem is straightforward if all goals are stable.  A problem
can be made straightforward by introducing certain mental objects.

The Tower of Hanoi is worth thinking about.